逻辑式
This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。
英语网 · 四六级英语
英语网 · 双语新闻
英语网 · 双语娱乐资讯
英语网 · 高考英语